λ(_ : 1) → _
